Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
871	HOL Formalised: Deductive System R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:58:39 Logic in computer science Formal methods Theoretical computer science Algorithms Hindley–Milner Type theory HOL ALGOL 68 Natural deduction Logic Mathematics Programming language theory
872	Toy Parser Generator or How to easily write parsers in Python Christophe Delord http://cdsoft.fr/tpg/ December 29, 2013 Add to Reading List Source URL: cdsoft.fr Language: English - Date: 2014-05-16 14:34:08 Compiler construction Parsing Formal languages Programming language implementation Parser generators Lexical analysis Syntax Compiler-compiler Python Software engineering Computing Computer programming
873	COLA – The Component Language Stefan Kugele, Michael Tautschnig, Andreas Bauer, Christian Schallhart, Stefano Merenda, Wolfgang Haberl, Christian K¨ uhnel, Florian M¨ uller, Zhonglei Wang, Doris Wild, Sabine Rittmann Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-10-29 20:08:38 Computing Electronic engineering Formal methods Software engineering Cybernetics SIGNAL Finite-state machine Lustre Dataflow Hardware description languages Synchronous programming languages Models of computation
874	Last Time on HOL ➜ Defining HOL ➜ Higher Order Abstract Syntax COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Computability theory Logic in computer science Mathematical logic Rewriting Confluence Lambda calculus Divergence Normal form Theoretical computer science Programming language theory Computer science
875	European Text Analytics A white paper prepared for European Text Analytics Summit 2007 Amsterdam, April[removed], 2007 (www.TextAnalyticsNews.com/europe07) Add to Reading List Source URL: altaplana.com Language: English - Date: 2007-03-01 19:35:09 Data analysis Software Statistical natural language processing Computational linguistics Formal sciences Text analytics Text mining Analytics SPSS Science Statistics Natural language processing
876	PCAI___1[removed]Full_Issue.pdf Add to Reading List Source URL: www.pcai.com Language: English - Date: 2011-01-30 13:07:30 Computational neuroscience Formal sciences Natural language processing Searching DtSearch Corp. Data mining Neural network Artificial intelligence Full text search Information science Science Information retrieval
877	From Unstructured Text to Valuable Insights: Leveraging Text Analytics to Meet Competitive Intelligence Needs By Tom H. C. Anderson, Anderson Analytics Add to Reading List Source URL: www.andersonanalytics.com Language: English - Date: 2008-02-06 15:16:09 Business intelligence Knowledge Natural language processing Statistical natural language processing Formal sciences Text mining Analytics Text analytics Data mining Science Statistics Data analysis
878	Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022 Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:17:59 Computer programming Logic in computer science Program analysis Abstract interpretation Static program analysis Astrée Formal verification Runtime verification Programming language Software engineering Computing Formal methods
879	New Developments in Artificial Intelligence and the Semantic Web Add to Reading List Source URL: www.stes.fi Language: English Data Ontology Knowledge representation Information science Technical communication Web Ontology Language Geographic information system Formal ontology Resource Description Framework Semantic Web Information Science
880	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory

UPDATE